$\forall$${\it es}$:ES, $X$:AbsInterface(Top), $f$:(E($X$)$\rightarrow$E($X$)). ($\forall$$x$:E($X$). $f$($x$) c$\leq$ $x$) $\Rightarrow$ retraction(E($X$);$f$)